Exercise logic.propositional.logax
Description
Axiomatic proofs
| Code | logic.propositional.logax |
| Status | Experimental |
| Strategy | logic.propositional.logax |
| Rules | 15 |
| Buggy rules | 22 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 56 |